Algebraic Characterizations of Two Beth Deenability Properties
نویسنده
چکیده
In the present paper we will show that the Beth de nability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. Furthermore, we will give an equally general characterization of the weak Beth de nability property, hereby giving a solution to Problem 14 in [Sa 88]. Finally, we will present two counterexamples showing that two of the more striking assumptions imposed on the logics in our characterizations are necessary. Supported by a grant from the NWO. 1
منابع مشابه
Algebraic Characterizations of Various Beth Definability Properties
In this paper it will be shown that the Beth deenability property corresponds to sur-jectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. N emeti (cf. HMT85, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in Sai90]. Finally, the characterization of the projective Bet...
متن کاملInterpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
This paper develops a comprehensive study of various types of interpolation properties and Beth definability properties for substructural logics, and their algebraic characterizations through amalgamation properties and epimorphisms surjectivity. In general, substructural logics are algebraizable but lack many of the basic logical properties that modal and superintuitionistic logics enjoy (cf. ...
متن کاملInterpolation, Deenability and Fixed Points in Interpretability Logics
abstract. In this article we study interpolation properties for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the-modality easily follow from this result. Furthermore , these properties are extended to the system ILP. Failure of arrow interpolation for ILW is established by providing an expl...
متن کاملReportrapport Modal Model Theory Modal Model Theory
This paper contributes to the model theory of modal logic using bisimulations as the fundamental tool. A uniform presentation is given of modal analogues of well-known deenability and preservation results from rst-order logic. These results include algebraic characterizations of modal equivalence, and of the modally deenable classes of models; the preservation results concern preservation of mo...
متن کاملThe Interpolation Theorem for IL and ILP
In this article we establish interpolation for the minimal system of interpretability logic IL. We prove that arrow interpolation holds for IL and that turnstile interpolation and interpolation for the-modality easily follow from this. Furthermore, these properties are extended to the system ILP. The related issue of Beth Deenability is also addressed. As usual, the arrow interpolation property...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996